/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package repositoriodistribuido;

import java.util.Date;

/**
 *
 * @author ylopez
 */
public interface drepCommands extends java.rmi.Remote{

    public String sendFile(String fileName, byte buffer[]) throws java.rmi.RemoteException;

    public boolean existFile(String fileName) throws java.rmi.RemoteException;
    
    public byte[] downloadFile(String fileName) throws java.rmi.RemoteException;

    public void disconnectDrep(String user) throws java.rmi.RemoteException;

    public void connectionDrep(String userName, Date time) throws java.rmi.RemoteException;

    public String[] rdir() throws java.rmi.RemoteException;

    public String[] tuser() throws java.rmi.RemoteException;

    public String[] nrep() throws java.rmi.RemoteException;

}
